Merge openlibm (0.6.0+dfsg-2+rpi1) import into refs/heads/workingbranch
authorPeter Michael Green <plugwash@raspbian.org>
Sat, 30 Mar 2019 22:02:01 +0000 (22:02 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Sat, 30 Mar 2019 22:02:01 +0000 (22:02 +0000)

Trivial merge